symmetric monoidal (∞,1)-category of spectra
With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
In the theory of fusion rings?/fusion categories, it is often very useful to have a good theory of dimensions of objects. Dimensions are useful linearization tool, as well as for defining invariants.
The most natural way to define the dimension of an object in a fusion category is via the quantum dimension. Namely, one defines the dimension of an object to be the trace of the identity map on the object. In unitary fusion categories this works perfectly, but in higher generality there are some issues which can arise. The main issue is that trace is not defined. Even in spherical categories where there is a good notion of trace, there is no guarantee that the quantum dimension will be positive.
The key observation is that in the unitary case the quantum dimension of an object will always be the Frobenius-Perron eigenvector of its corresponding fusion matrix. In the spherical non-unitary case the quantum dimension will still be an eigenvector of the fusion matrix, just not necessarily the Frobenius-Perron one.
The Frobenius-Perron dimension of an object is thus defined to be the Frobenius-Perron eigenvector of its corresponding fusion matrix. This is defined in higher generality than the quantum dimension, and serves the purpose of linearization equally well. It thus serves as a great tool in the study of fusion rings and fusion categories.
The most general setting for Frobenius-Perron dimensions is that of -rings.
A unital -ring is a ring such that
the underlying abelian group is free abelian group;
there exists a finite -basis: a finite set of elements , , such that
for
the ring unit 1 is among these basis elements.
=–
Let be a unital -ring (def. ) with finite -basis , .
For every , let be its matrix of left multiplication, defined by
By the Frobenius-Perron theorem, these matrices have non-negative eigenvalues. This implies that for each of them there is a maximal eigenvalue. This maximal eigenvalue is called the Frobenius-Perron dimension of , .
Let be a fusion category, i.e. a tensor category which is finite and semisimple category (i.e. it has a finite number of isomorphism classes of simple objects, all finite direct sums of these exist, and every object is isomorphic to such).
Then the isomorphism classes of objects of form an -ring (def. ) under tensor product, the fusion ring.
The Frobenius-Perron dimension of is that of its isomorphism class as an element of the fusion ring, according to def. :
Damien Calaque, Pavel Etingof, section 4 of Lectures on tensor categories (arXiv:0401246)
Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik, section 3.3 in Tensor categories, Mathematical Surveys and Monographs, Volume 205, American Mathematical Society, 2015 (pdf
))
Pavel Etingof, Dmitri Nikshych, Viktor Ostrik, “On Fusion Categories”, Annals of mathematics, 2005 (pdf)
Last revised on July 18, 2023 at 07:10:25. See the history of this page for a list of all contributions to it.